Formal validation of domain-specific languages with derived features and well-formedness constraints
نویسندگان
چکیده
منابع مشابه
Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver
Despite the wide range of existing generative tool support, constructing a design environment for a complex domain-speci c language (DSL) is still a tedious task as the large number of derived features and well-formedness constraints complementing the domain metamodel necessitate special handling. Incremental model queries as provided by the EMF-IncQuery framework can (i) uniformly specify deri...
متن کاملFormal Methods Meet Domain Specific Languages
In this paper, we relate an experiment whose aim is to study how to combine two existing approaches for ensuring software correctness: Domain Specific Languages (DSLs) and formal methods. As examples, we consider the Bossa DSL and the B formal method. Bossa is dedicated to the development of process schedulers and has been used in the context of Linux and Chorus. B is a refinement based formal ...
متن کاملProsodic well-formedness and sonority constraints: epenthesis in Irish
1. Introduction Early accounts of epenthesis in Optimality Theory focused on epenthesis that results from constraints on prosodic structure, that is, from syllable structure constraints or minimal prosodic category (e.g. minimal word) requirements. McCarthy & Prince (1993a) account for word-internal consonant epenthesis at V-V junctures in Axininca Campa, for example, by ranking ONSET (Syllable...
متن کاملFormal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers
Despite the wide range of existing tool support, constructing a design environment for a complex domain-specific language (DSL) is still a tedious task due to the large number of derived features and well-formedness constraints complementing the domain. Additionally, an advanced design environment uses view transformation techniques to highlight different relevant aspects of the system. As any ...
متن کاملIndustrial Application of Formal Models Generated from Domain Specific Languages
Domain Specific Languages (DSLs) provide a lightweight approach to incorporate formal techniques into the industrial workflow. From DSL instances, formal models and other artefacts can be generated, such as simulation models and code. Having a single source for all artefacts improves maintenance and offers a high return on investment of the initial modelling effort. Since DSLs can be used to ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2015
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-015-0485-x